# (decoded with TMPL 1000)
*****: (EOF-terminated list)
  0: Value: 1
  1: Value: 2
  2: Value: 3
  3: Value: 5
  4: Value: 6
  5: Value: 10
  6: Value: 12
  7: Value: 15
  8: Value: 24
  9: Value: 25
  10: Value: 30